Metrizability of the Space of R-places of a Real Function Field
نویسندگان
چکیده
For n = 1, the space of R-places of the rational function field R(x1, . . . , xn) is homeomorphic to the real projective line. For n ≥ 2, the structure is much more complicated. We prove that the space of R-places of the rational function field R(x, y) is not metrizable. We explain how the proof generalizes to show that the space of R-places of any finitely generated formally real field extension of R of transcendence degree ≥ 2 is not metrizable. We also consider the more general question of when the space of R-places of a finitely generated formally real field extension of a real closed field is metrizable.
منابع مشابه
Metrizability of Spaces of R-places of Function Fields of Transcendence Degree 1 over Real Closed Fields
In this paper we discuss the question ”When do different orderings of the rational function field R(X) (where R is a real closed field) induce the same R-place?”. We use this to show that if R contains a dense real closed subfield R′, then the spaces of R-places of R(X) and R′(X) are homeomorphic. For the function field K = R(X) we prove that its space M(K) of R-places is metrizible if and only...
متن کاملIdentification of Riemannian foliations on the tangent bundle via SODE structure
The geometry of a system of second order differential equations is the geometry of a semispray, which is a globally defined vector field on TM. The metrizability of a given semispray is of special importance. In this paper, the metric associated with the semispray S is applied in order to study some types of foliations on the tangent bundle which are compatible with SODE structure. Indeed, suff...
متن کاملPOINTWISE CONVERGENCE TOPOLOGY AND FUNCTION SPACES IN FUZZY ANALYSIS
We study the space of all continuous fuzzy-valued functions from a space $X$ into the space of fuzzy numbers $(mathbb{E}sp{1},dsb{infty})$ endowed with the pointwise convergence topology. Our results generalize the classical ones for continuous real-valued functions. The field of applications of this approach seems to be large, since the classical case allows many known devices to be fi...
متن کاملTHE SPACE OF R-PLACES OF R(x, y) IS NOT METRIZABLE
For n = 1, the space of R-places of the rational function field R(x1, . . . , xn) is homeomorphic to the real projective line. For n ≥ 2, the structure is much more complicated. We prove that the space of R-places of the rational function field R(x, y) is not metrizable. We explain how the proof generalizes to show that the space of R-places of any finitely generated formally real field extensi...
متن کاملThe ring of real-continuous functions on a topoframe
A topoframe, denoted by $L_{ tau}$, is a pair $(L, tau)$ consisting of a frame $L$ and a subframe $ tau $ all of whose elements are complementary elements in $L$. In this paper, we define and study the notions of a $tau $-real-continuous function on a frame $L$ and the set of real continuous functions $mathcal{R}L_tau $ as an $f$-ring. We show that $mathcal{R}L_{ tau}$ is actually a generali...
متن کامل